
package com.idea.rdftree.editor;

import java.awt.Component;
import java.awt.event.ActionListener;

import javax.swing.JEditorPane;
import javax.swing.JScrollPane;
import javax.swing.JTabbedPane;
import javax.swing.event.ChangeEvent;
import javax.swing.event.ChangeListener;

import org.syntax.jedit.JEditTextArea;
import org.syntax.jedit.tokenmarker.XMLTokenMarker;

import com.idea.common.swing.LogPane;

public class TurtleSourcePane extends SourcePanel {

	private JEditTextArea textArea;

	public TurtleSourcePane() {
		super();
		textArea = new JEditTextArea();
		attachHighlighter(textArea);
		scroll = new JScrollPane(textArea);
		add(scroll);
	}
	
	@Override
	String getLabel() {
		return "Turtle";
	}

	@Override
	String getSyntax() {
		return "N3";
	}

	@Override
	void attachHighlighter(JEditTextArea textArea) {
	}
	
	@Override
	String getText() {
		return textArea.getText();
	}

	@Override
	void setCaretPosition(int position) {
		textArea.setCaretPosition(position);
	}

	@Override
	void setText(String text) {
		textArea.setText(text);
	}
}
